Domain theory - PDFSEARCH.IO - Document Search Engine

Domain theory
Results: 638

#	Item
121	Proceedings of Coordination 2004: Sixth International Conference on Coordination Models and Languages, Pisa, 2004 Problem Frames: a Case for Coordination L. Barroca1, J.L. Fiadeiro2, M. Jackson1, R. Laney1 and B.Nuseibe Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2003-12-02 10:42:24 Systems theory Systems engineering Problem frames approach Systems analysis Domain Complexity Architecture description language Software development Software requirements Software
122	South African Computer Journal 22; Special Issue on WOFACS’98, pp47-60, 1999 Problem Analysis Using Small Problem Frames M. A. Jackson Independent Consultant 101 Hamilton Terrace, London, England, Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2002-05-03 13:50:42 Systems theory Knowledge representation Systems science Science Domain-specific language Frame Moving frame Problem frames approach Systems analysis Systems engineering
123	The Semantics of Incorporation STANFORD MONOGRAPHS IN LINGUISTICS The aim of this series is to make exploratory work that employs new linguistic data, extending the scope or domain of current theoretical proposals, ava Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:41 Syntax Parts of speech Predicate Singular they Grammatical number Incorporation Determiner Contrast Discourse representation theory Linguistics Semantics Grammar
124	Bulletin NoTo: Heads of Government Departments, Agencies, and Others Concerned Subject: Change to Transmittal Letter No. S2 14-01, U.S. Government Standard General Ledger (USSGL) – A Treasury Financial Manua Add to Reading List Source URL: tfm.fiscal.treasury.gov Language: English - Date: 2015-02-13 09:52:21 HTML Accounting systems Attribute grammar Compiler construction Attribute domain Debits and credits Account Computing Database theory Programming paradigms
125	Proceedings of the IEEE Second International Symposium on Requirements Engineering, pp2-8; ACM Press, Problems & Requirements Michael Jackson 101 Hamilton Terrace, London NW8 9QX England MAJ Consulting Ltd Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2000-12-04 15:26:14 Problem frames approach Systems analysis Domain X Window System Frame Moving frame Requirement Heuristic Control theory Software Software requirements Systems engineering
126	Why Software Writing Is DiÆcult and Will Remain So Michael Jackson 101 Hamilton Terrace, London NW8 9QY, England Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2003-07-11 08:25:10 Systems science Problem frames approach Systems analysis Domain Communications protocol Problem domain Ring Systems engineering Systems theory Software development
127	Implementing Domain Specific Languages Alex Miller, BEA Systems I’ll be talking today about implementing DSLs in Java. Add to Reading List Source URL: puredanger.com Language: English - Date: 2010-08-10 13:46:46 Regular expression Pseudo-ring Mathematics Computer programming Software engineering Control table Ring theory Automata theory Pattern matching
128	From Navigation to Robotic-Assisted Surgery: Combined Planning in Discrete and Continuous Spaces Erion Plaku This work aims to deal formally and efficiently with the complexity of planning that arises at the intersection Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2014-10-28 09:35:43 Robot control Planning Domain Definition Language Control theory Robotics Obstacle avoidance Robot Applied mathematics Simulation Artificial intelligence Motion planning Theoretical computer science Automated planning and scheduling
129	Tool Demo: Scala-Virtualized Adriaan Moors Tiark Rompf Philipp Haller ∗ Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2013-05-22 06:19:31 Data types Type theory Functional programming Functional languages Procedural programming languages Scala Type system Anonymous function Domain-specific language Computing Software engineering Computer programming
130	Logic and the Methodology of Science Autumn 2002 Preliminary Exam Draft August 23, Let ϕe be the eth partial recursive function in some standard enumeration, and let We be the domain of ϕe ). Show that there is Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Theory of computation Theoretical computer science Metalogic Model theory Recursively enumerable set Constructible universe Presentation of a group Ordinal number Ω-consistent theory Mathematics Mathematical logic Computability theory

UPDATE